Comparing Three Coordination Models: Reo, ARC, and RRD

نویسندگان

  • Carolyn L. Talcott
  • Marjan Sirjani
  • Shangping Ren
چکیده

Three models of coordination—Reo, Actors-Roles-Coordinators (ARC), and Reflective Russian Dolls (RRD)—are compared and contrasted according to a set of coordination features. Mappings between their semantic models are defined. Use of the models is illustrated by a small case study.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Comparing Three Coordination Models : Reo , ARC , and PBRD ? Carolyn Talcott ∗

Three models of coordination—Reo, Actors-Roles-Coordinators (ARC), and Policy-based Russian Dolls (PBRD)—are compared and contrasted according to a set of coordination features. Mappings between their semantic models are defined. Use of the models is illustrated by a small case study.

متن کامل

The Critical Path toward the Development of Reo

This review paper discusses the Reo coordination language in the wider context of its research area. It explains the concept of coordination and argues its significance. Those concepts, models and languages that were of considerable importance in the preliminary research that lead up to the development of Reo, are explained, discussed and evaluated. In particular Linda, Manifold, and Reo itself...

متن کامل

A Semantic Model for Service Composition with Coordination Time Delays

The correct behavior of a service composition depends on the appropriate coordination of its services. According to the idea of channelbased coordination, services exchange messages though channels without any knowledge about each other. The Reo coordination language aims at building connectors out of basic channels to implement arbitrarily complex interaction protocols. The activity within a R...

متن کامل

Decoupled execution of synchronous coordination models via behavioural automata

Synchronous coordination systems allow the exchange of data by logically indivisible actions involving all coordinated entities. This paper introduces behavioural automata, a logically synchronous coordination model based on the Reo coordination language, which focuses on relevant aspects for the concurrent evolution of these systems. We show how our automata model encodes the Reo and Linda coo...

متن کامل

Time and Data Aware Analysis of Graphical Service Models

Reo is a graphical channel-based coordination language that enables the modeling of complex behavioral protocols using a small set of channel types with well-defined behavior. Reo has been developed for the coordination of standalone components and services, which makes it suitable for the modeling of service-based business processes. The formal semantic models for Reo lay the grounds for compu...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Electr. Notes Theor. Comput. Sci.

دوره 194  شماره 

صفحات  -

تاریخ انتشار 2008